hesaplanabilirlik teorisi kategorisi altındaki kavramlar